<p class="m-text m-red">This goes from a HTML file and should not be wrapped
twice in <code>&lt;p&gt;</code>.</p>
